Facilitating worst-case execution times analysis for optimized code
نویسندگان
چکیده
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-case execution time (WCET) analysis. Our approach is designed to handle the problems introduced by optimizing compilers, i.e. that the structure of the object code is very different from the structure of the source code. The co-transformer allows us to keep track of how different compiler transformations, including optimizations, influence the execution time of a program. This allows us to statically calculate the execution time of a program at the object code level, using information about the program execution obtained at the source code level.
منابع مشابه
Worst-Case Execution Time Analysis for Optimized Code
In the eld of real-time systems, accurate estimates of the worst-case execution time of programs are required for real-time modelling and veri cation, scheduling analysis, feasibility analysis, and dimensioning of the system hardware. At present, such estimates are produced by measuring program runs on inputs which are believed to produce long execution times. Unfortunately, such measurements p...
متن کاملA Worst Case Timing Analysis Technique for Optimized Programs
We propose a technique to analyze the worst case execution times (WCETs) of optimized programs. Our work is based on a hierarchical timing analysis technique called the extended timing schema (ETS). A major hurdle in applying the ETS to optimized programs is the lack of correspondences in the control structure between the optimized machine code to be analyzed and the original source program wri...
متن کاملIssues in Analysing L4 for its WCET
Real-time analysis of a system requires knowledge of the worst-case execution time of all code in the system. This requirement covers not only application code, but also operating system and kernel code. In this paper we discuss the issues specific to kernel code and how we aim to address these in our work towards analysing the L4 microkernel for the worst-case execution times of all system-cal...
متن کاملA Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must be known. We describe a newly developed prototype tool that calculates these bounds automatically, thereby avoiding the need for manual annotations by the programmer. The analysis is based on an intermediate code repr...
متن کاملWorst-Case Execution Times for a Purely Functional Language
This paper provides guaranteed bounds on worst-case execution times for a strict, purely functional programming notation. Our approach involves combining time information obtained using a low-level commercial analyser with a high-level source-derived model to give worstcase execution time information. We validate our results using concrete timing information obtained using machine code fragment...
متن کامل